Simulation and Verification of
نویسنده
چکیده
In this paper, we suggest a coupling of the description model of an embedded real-time multitasking application with a timed automata based model. The coupling purposes consists of providing the description model with operational semantic which uses communication channels and waiting point notions. In order to allow static verification of such kind of applications, we simulate its dynamic behaviour by using UPPAAL tool.
منابع مشابه
Control Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کاملPerformance of SWAT Model in Quantitative and Qualitative Simulation of Runoff and Watershed Protective Measures in Zarrinehrood Basin
This study aims to simulate runoff and runoff quality of Zarrineh river basin by SWAT model. Calibration and verification were done respectively with monthly runoff statistics in SWAT CUP by SUFI2 method for 1992-2013, for 12 sub basin, 226 HRU and monthly nitrate data for 2006-2009. The highest runoff sensitivity and runoff quality with minimum Pvalue and maximum absolute value Ttest belong to...
متن کاملEvaluation of the RtDosePlan Treatment Planning System using Radiochromic Film and Monte Carlo Simulation
Introduction: GafChromic EBT films are one of the self-developing and modern films commercially available for dosimetric verification of treatment planning systems (TPSs). Their high spatial resolution, low energy dependence and near-tissue equivalence make them suitable for verification of dose distributions in radiation therapy. This study was designed to evaluate the dosimetric parameters of...
متن کاملModeling of Riyadh Sewage Treatment Plant: 1-Model Development, Verification and Simulation
In Saudi Arabia, the Riyadh Sewage Treatment Plant (RSTP) uses the activated sludge technology as the secondary treatment process for sewage. Due to the complex nature of the process, a rather simplified, yet practical, steady state model that captures the most important features of the RSTP was developed. Actual operating and design conditions were obtained from RSTP data bank. The monthly ave...
متن کاملSimulation and Experimental Verification of Closed Loop Operation of Buck / Boost DC-DC Converter with Soft Switching
A major problem in an isolated DC/DC converters operating at high switching frequencies is the attendant switching losses in the semiconductor devices. This can be reduced by introducing either zero-voltage switching (ZVS) or zero-current switching (ZCS) of the semiconductor switches. This paper deals with the simulation, design, fabrication and experimental evaluation of a novel soft-switching...
متن کاملVerification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001